Novel PUF-Based Error Detection Methods in Finite State Machines

نویسندگان

  • Ghaith Hammouri
  • Kahraman D. Akdemir
  • Berk Sunar
چکیده

We propose a number of techniques for securing finite state machines (FSMs) against fault injection attacks. The proposed security mechanisms are based on physically unclonable functions (PUFs), and they address different fault injection threats on various parts of the FSM. The first mechanism targets the protection of state-transitions in a specific class of FSMs. The second mechanism addresses the integrity of secret information. This is of particular interest in cryptographic FSMs which require a secret key. Finally, the last mechanism we propose introduces a new fault-resilient error detection network (EDN). Previous designs for EDNs always assume resilience to fault injection attacks without providing a particular construction. The PUF-based EDN design is suitable for a variety of applications, and is essential for most fault resilient state machines. Due to the usage of PUFs in the proposed architectures, the state machine will enjoy security at the logical level as well as the physical level.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

PUF-FSM: A Controlled Strong PUF

Physical unclonable functions (PUF), as hardware security primitives, exploit manufacturing randomness to extract instance-specific challenge (input) response (output) pairs (CRPs). Since its emergence, the community started pursuing a strong PUF primitive that is with large CRP space and resilient to modeling building attacks. A practical realization of a strong PUF is still challenging to dat...

متن کامل

Novel Axial Flux Brushless Resolver Analysis and Optimization Using 3D Finite Element and d-q Model Method

Resolvers are widely used in electric driven systems especially in high precision servomechanisms. Both encapsulated and pancake resolvers suffer from a major drawback: static eccentricity (SE). This drawback causes a significant increase in resolver output position error (RPE) which could not be corrected electronically. To reduce RPE, this paper proposes a novel structure with axial flux. Pr...

متن کامل

Encoded finite-state machines for non-concurrent error detection and identification

In this paper we develop a methodology for systematically constructing redundant finite-state machines in a way that enables an external mechanism to detect and identify transient state-transition faults by performing checks in a non-concurrent manner (e.g., periodically). More specifically, by characterizing non-concurrent error detection / identification capabilities in terms of state encodin...

متن کامل

A Concept for Testing and Diagnosis of Embedded Systems based on Extended Finite States Machines

Due to the growing complexity of embedded systems and their requirements in reliability and real-time capability, support methods to help designers and testers at the different phases of the development cycle are needed. In areas such network protocol testing automatic test generation has been used successfully. Here, the method of extended finite state machines is applied to embedded systems. ...

متن کامل

Restricted cascade and wreath products of fuzzy finite switchboard state machines

A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008